class CAST{T} |
---|
**** | Narrow down from $OB to type T. A useful substitute for the one line typecase statement.
___Usage: ____a:_$OB_:=_3; ____b:_INT_:=_CAST{INT}::from(a); _ |
create: SAME |
---|
**** | Used to get the class name (won't work with void?) |
from(o: $OB): T |
---|
**** | Cast from o:$OB "o" to be of type T. Raise the exception CAST_EXC if "o" is not of type T
_ Usage: ____a:_$OB_:=_3; ____b:_INT_:=_CAST{INT}::from(a); |